Modelling Producer/Consumer Constraints
نویسندگان
چکیده
In this paper we describe the modelling of producer/consumer constraints with the CHIP system. Producer/consumer constraints arise in scheduling problems with consumable resources like raw materials or money, in particular for batch based processing. The constraint assures that at each time point enough consumable resources are available. The modelling with CHIP uses the cumulative constraint to express conditions in a very declarative way, yet obtains very good propagation due to the reasoning power build into the cumulative constraint. We show that with producer/consumer constraints many resource scheduling problems can be easily expressed and give examples of its industrial use.
منابع مشابه
Explaining Producer/Consumer Constraints
Resource-constrained project scheduling problems are one of the most studied scheduling problem, and constraint programming with nogood learning provides the state-of-the-art solving technology for them, at least when the aim is minimizing makespan. In this paper we examine the closely related problem of scheduling producers and consumers of discrete resources and reservoirs. Producer/consumer ...
متن کاملA Producer-Consumer Model with Stoichiometric Elimination Mechanisms
Producer-consumer (predator-prey) systems have been studied for many years in terms of energy flow or mass balance of the system. In recent years related models have been adjusted to take into account not only food quantity, but also food quality. In other words, the nutrient content, or equivalently, the stoichiometric ratio of nutrient to biomass, as well as the biomass, is of interest. In th...
متن کاملDesigning an Economic Repetitive Sampling Plan in the Presence of Two Markets
In this paper, we develop an optimization model for the economic design of repetitive sampling plan in the presence of two markets. The process under consideration produces a product with a normally distributed quality characteristic with unknown mean and known variance. The quality characteristic has a lower specification limit. The quality of the product is controlled via lot-by-lot acceptanc...
متن کاملSupply Chain Analysis of Fresh Guava ( A Case Study )
The present study was focused on supply chain analysis of fresh guava in order to evaluate existing marketing supply chains (SC1: Producer - Consumer, SC2: Producer - Retailer - Consumer, SC3: Producer - Commission agent - Retailer - Consumer, SC4: Producer - Commission agent - Wholesaler - Retailer - Consumer) for two variety (allahabad safeda and apple guava) of guava. The gross marketing pri...
متن کاملModelling accesses to migratory and producer-consumer characterised data in a shared memory multiprocessor
Directory-based, write-invalidate cache coherence protocols are effective in reducing latencies to the memory but suffer from cache misses due to coherence actions. It is therefore important to understand the nature of data sharing causing misses for this class of protocols. In this paper we identify a set of parameters that char-acterises the accesses to migratory and producer-consumer data in...
متن کامل